COMMENT ⊗   VALID 00004 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.DEVICE XGP
C00003 00003	.COMMENT chain of discoveries
C00004 00004	.COMMENT Given core, and Facets
C00006 ENDMK
C⊗;
.DEVICE XGP
.!XGPCOMMANDS←"/PMAR=3100"

.FONT 1 "BASB30"
.FONT 2 "BDR66"
.FONT 4  "BDI40"
.FONT 7  "BDR40"
.FONT 8 "BDR25"
.TURN ON "↑α[]↓_π{"
.TURN ON "⊗" FOR "%"
.TABBREAK
.ODDLEFTBORDER ← EVENLEFTBORDER ← 1000
.PAGE FRAME 64 HIGH 91 WIDE
.AREA TEXT LINES 1 TO 63
.DOUBLE SPACE
.PREFACE 2
.NOFILL
.PREFACE 1
.!XGPLFTMAR←100
.MACRO B ⊂ BEGIN NOFILL SELECT 9 INDENT 0 GROUP PREFACE 0 MILLS TURN OFF "{↑↓}[]α" ⊃
.MACRO E ⊂ APART END ⊃
.NEXT PAGE
.INDENT 0
.SELECT 1
.COMMENT chain of discoveries;
.BEGIN CENTER SELECT 2 TURN OFF "↑↓" PREFACE 0
Discovery of Prime Numbers
|	
|	
|	
⊗7Look at extrema⊗*
|	
|	
|	
|
Discovery of Divisors-of
|	
|	
|	
⊗7Look at inverses⊗*
|	
|	
|	
|
Discovery of Multiplication
|
|
 .........

|
|

⊗4(BASE OF KNOWN   CONCEPTS)⊗*
.END
.COMMENT Overlay onto this a slide of spreading-out lines going upward;
.COMMENT Overlay onto this a slide of diff-colored nodes/ops, to repr heurs.;
.SKIP TO COLUMN 1
.COMMENT Given core, and Facets;
.BEGIN SELECT 7 PREFACE 0 TABS 35 TURN ON "\"

.ONCE SELECT 2
↓_Initial Concepts_↓\   ↓_Facets_↓

OBJECTS\Facets which ⊗4characterize⊗*
Structures\Name(s)
Lists\Definitions
Sets\Algorithms
Bags\Domain/Range
Ord-pairs\Abstract representations
Ordered-sets
Constants\Facets indicating ⊗4ties⊗*
Variables\Specializations
Atoms\Up (things this concept IS-A)
Conjectures\Generalizations
Theorems\Examples
Counterexs\Ops one can do to this concept
Examples\Ops resulting in this concept
Analogies\Analogies to this concept
Theories\Conjectures involving it
Relation
Operation\Facets containing ⊗4heuristics⊗*
Predicate\Worth of this concept
\Ways in which it can be Interesting
ACTIVITIES\How to fill-in
Compose\How to check
Insert\Rules for suggesting new jobs
Delete
Union
Intersect
Substitute
Repeat
Reverse-ordered-pair
Disjoin
Conjoin
Negate
Imply
Set-equality
Containment
Assume
Deduce
Cases
Isomorphic
Homomorphic
Canonical
Check
Fill-in
.END
.SKIP TO COLUMN 1